Search results for "Associative Algebra"
showing 10 items of 35 documents
Lie Algebras Generated by Extremal Elements
1999
We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of L) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite dimensional. The minimal number of extremal generators for the Lie algebras of type An, Bn (n>2), Cn (n>1), Dn (n>3), En (n=6,7,8), F4 and G2 are shown to be n+1, n+1, 2n, n, 5, 5, and 4 in the respective cases. These results are related to group theoretic ones for the corresponding Chevalley groups.
Polynomial growth of the codimensions: a characterization
2009
Let A A be a not necessarily associative algebra over a field of characteristic zero. Here we characterize the T-ideal of identities of A A in case the corresponding sequence of codimensions is polynomially bounded.
Codimension growth and minimal superalgebras
2003
A celebrated theorem of Kemer (1978) states that any algebra satisfying a polynomial identity over a field of characteristic zero is PI-equivalent to the Grassmann envelope G(A) of a finite dimensional superalgebra A. In this paper, by exploiting the basic properties of the exponent of a PI-algebra proved by Giambruno and Zaicev (1999), we define and classify the minimal superalgebras of a given exponent over a field of characteristic zero. In particular we prove that these algebras can be realized as block-triangular matrix algebras over the base field. The importance of such algebras is readily proved: A is a minimal superalgebra if and only if the ideal of identities of G(A) is a product…
The overlap algebra of regular opens
2010
Abstract Overlap algebras are complete lattices enriched with an extra primitive relation, called “overlap”. The new notion of overlap relation satisfies a set of axioms intended to capture, in a positive way, the properties which hold for two elements with non-zero infimum. For each set, its powerset is an example of overlap algebra where two subsets overlap each other when their intersection is inhabited. Moreover, atomic overlap algebras are naturally isomorphic to the powerset of the set of their atoms. Overlap algebras can be seen as particular open (or overt) locales and, from a classical point of view, they essentially coincide with complete Boolean algebras. Contrary to the latter, …
Finite-dimensional non-associative algebras and codimension growth
2011
AbstractLet A be a (non-necessarily associative) finite-dimensional algebra over a field of characteristic zero. A quantitative estimate of the polynomial identities satisfied by A is achieved through the study of the asymptotics of the sequence of codimensions of A. It is well known that for such an algebra this sequence is exponentially bounded.Here we capture the exponential rate of growth of the sequence of codimensions for several classes of algebras including simple algebras with a special non-degenerate form, finite-dimensional Jordan or alternative algebras and many more. In all cases such rate of growth is integer and is explicitly related to the dimension of a subalgebra of A. One…
Group-graded algebras with polynomial identity
1998
LetG be a finite group and letR=Σg∈GRg be any associative algebra over a field such that the subspacesRg satisfyRgRh⊆Rgh. We prove that ifR1 satisfies a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the order ofG. This result implies the following: ifH is a finite-dimensional semisimple commutative Hopfalgebra andR is anyH-module algebra withRH satisfying a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the dimension ofH.
AUTOMORPHISMS OF THE ENDOMORPHISM SEMIGROUP OF A FREE ASSOCIATIVE ALGEBRA
2007
Let [Formula: see text] be the variety of associative algebras over a field K and A = K 〈x1,…, xn〉 be a free associative algebra in the variety [Formula: see text] freely generated by a set X = {x1,…, xn}, End A the semigroup of endomorphisms of A, and Aut End A the group of automorphisms of the semigroup End A. We prove that the group Aut End A is generated by semi-inner and mirror automorphisms of End A. A similar result is obtained for the automorphism group Aut [Formula: see text], where [Formula: see text] is the subcategory of finitely generated free algebras of the variety [Formula: see text]. The later result solves Problem 3.9 formulated in [17].
Cohomology and Deformation of Leibniz Pairs
1995
Cohomology and deformation theories are developed for Poisson algebras starting with the more general concept of a Leibniz pair, namely of an associative algebra $A$ together with a Lie algebra $L$ mapped into the derivations of $A$. A bicomplex (with both Hochschild and Chevalley-Eilenberg cohomologies) is essential.
Algebras with involution with linear codimension growth
2006
AbstractWe study the ∗-varieties of associative algebras with involution over a field of characteristic zero which are generated by a finite-dimensional algebra. In this setting we give a list of algebras classifying all such ∗-varieties whose sequence of ∗-codimensions is linearly bounded. Moreover, we exhibit a finite list of algebras to be excluded from the ∗-varieties with such property. As a consequence, we find all possible linearly bounded ∗-codimension sequences.
Polynomial codimension growth of algebras with involutions and superinvolutions
2017
Abstract Let A be an associative algebra over a field F of characteristic zero endowed with a graded involution or a superinvolution ⁎ and let c n ⁎ ( A ) be its sequence of ⁎-codimensions. In [4] , [12] it was proved that if A is finite dimensional such sequence is polynomially bounded if and only if A generates a variety not containing a finite number of ⁎-algebras: the group algebra of Z 2 and a 4-dimensional subalgebra of the 4 × 4 upper triangular matrices with suitable graded involutions or superinvolutions. In this paper we focus our attention on such algebras since they are the only finite dimensional ⁎-algebras, up to T 2 ⁎ -equivalence, generating varieties of almost polynomial gr…